Bettaz, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On reusing ATNet modules in protocol specification

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

Journal:

Journal of Systems and Software

Year:

1994

Language:

english

File:

PDF, 1001 KB

english, 1994

2

Performance comparison of high-level algebraic nets distributed simulation protocols

K. Djemame, D.C. Gilles, L.M. Mackenzie, M. Bettaz

Journal:

Journal of Systems Architecture

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

3

A Natural Semantic Framework for ECATNets

F. Belala, M. Bettaz

Journal:

Applied Categorical Structures

Year:

2002

Language:

english

File:

PDF, 124 KB

english, 2002

4

[IEEE 1993 Euromicro Workshop on Parallel and Distributed Processing - Gran Canaria, Spain (27-29 Jan. 1993)] 1993 Euromicro Workshop on Parallel and Distributed Processing - Modelling and proving of truly concurrent systems with CATNets

Bettaz, M., Mehemmel, A.

Year:

1993

Language:

english

File:

PDF, 548 KB

english, 1993

5

[IEEE Comput. Soc. Press ICCI `92: Fourth International Conference on Computing and Information - Toronto, Ont., Canada (28-30 May 1992)] Proceedings ICCI `92: Fourth International Conference on Computing and Information - Using ECATNets for specifying communication software in the OSI framework

Bettaz, M., Maouche, M., Soualmi, M., Boukebeche, M.

Year:

1992

Language:

english

File:

PDF, 384 KB

english, 1992

6

[IEEE Comput. Soc Sixth Euromicro Workshop on Parallel and Distributed Processing - PDP '98 - - Madrid, Spain (21-23 Jan. 1998)] Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - PDP '98 - - Parallel simulation in rewriting logic: some observations

Djemame, K., Bettaz, M.

Year:

1998

Language:

english

File:

PDF, 732 KB

english, 1998

7

[IEEE Comput. Soc. Press EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Prague, Czech Republic (2-5 Sept. 1996)] Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies - Formal specification of communication protocols with object-based ECATNets

Bettaz, M., Maouche, M., Barkaoui, K.

Year:

1995

Language:

english

File:

PDF, 665 KB

english, 1995

8

[IEEE IEEE International Conference on Computer Systems and Applications, 2006 - (2006.03.8-2006.03.8)] IEEE International Conference on Computer Systems and Applications, 2006. - Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic

Zeghib, N., Barkaoui, K., Bettaz, M.

Year:

2006

Language:

english

File:

PDF, 2.69 MB

english, 2006

9

[IEEE Comput. Soc ACS/IEEE International Conference on Computer Systems and Applications - Beirut, Lebanon (25-29 June 2001)] Proceedings ACS/IEEE International Conference on Computer Systems and Applications - Object based software engineering with hidden sorted ECATNets and hidden labeled rewriting logic

Year:

2001

Language:

english

File:

PDF, 491 KB

english, 2001

10

[IEEE Second Euromicro Workshop on Parallel and Distributed Processing - Malaga, Spain (January 26-28,1994)] Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing - A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency

Bettaz, M., Choutri, A., Reggio, G.

Year:

1994

Language:

english

File:

PDF, 585 KB

english, 1994

11

[IEEE Comput. Soc. Press 4th Euromicro Workshop on Parallel and Distributed Processing - Braga, Portugal (24-26 Jan. 1996)] Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing - Distributed simulation of ECATNets: a conservative approach

Djemame, K., Gilles, D.C., Mackenzie, L.M., Bettaz, M.

Year:

1996

Language:

english

File:

PDF, 832 KB

english, 1996

12

[IEEE 2013 IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA) - Albena, Bulgaria (2013.06.19-2013.06.21)] 2013 IEEE INISTA - Extending nonmonotonic description logic with temporal aspects

Bettaz, Ouarda, Boustia, Narhimene, Mokhtari, Aicha

Year:

2013

Language:

english

File:

PDF, 206 KB

english, 2013

13

[IEEE Comput. Soc. Press MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Durham, NC, USA (18-20 Jan. 1995)] MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Modelling of object based systems with hidden sorted ECATNets

Bettaz, M., Maouche, M.

Year:

1995

Language:

english

File:

PDF, 400 KB

english, 1995

14

[ACM Press the 28th conference - Coronado, California, United States (1996.12.08-1996.12.11)] Proceedings of the 28th conference on Winter simulation - WSC '96 - Performance comparison of high-level algebraic nets distributed simulation protocols

Djemame, Karim, Bettaz, Mohamed, Gilles, Dennis C., Mackenzie, Lewis M.

Year:

1996

Language:

english

File:

PDF, 757 KB

english, 1996

15

[IEEE Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004. - Damascus, Syria (19-23 April 2004)] Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004. - On synchronous and asynchronous communication in modular high-level nets: the case of ECATNets

Zeghib, N., Bettaz, M.

Year:

2004

Language:

english

File:

PDF, 180 KB

english, 2004

16

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations

Messaoudi, Nabil, Chaoui, Allaoua, Bettaz, Mohamed

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 581 KB

english, 2015

17

[IEEE 2015 12th International Symposium on Programming and Systems (ISPS) - Algiers, Algeria (2015.4.28-2015.4.30)] 2015 12th International Symposium on Programming and Systems (ISPS) - Dynamic delegation based on temporal and nonmonotonic description logic

Bettaz, Ouarda, Boustia, Narhimene, Mokhtari, Aicha

Year:

2015

Language:

english

File:

PDF, 8.55 MB

english, 2015

18

Towards an institution for Object-Z specifications

Bettaz, Mohamed, Maouche, Mourad, M', N.A., Mosteghanemi, hamed

Journal:

International Journal of Computer Applications in Technology

Year:

2013

Language:

english

File:

PDF, 637 KB

english, 2013

19

Dynamic Delegation Based on Temporal Context

Bettaz, Ouarda, Boustia, Narhimene, Mokhtari, Aicha

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 293 KB

english, 2016

20

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

Messaoudi, Nabil, Chaoui, Allaoua, Derardja, Mourad, Bettaz, Mohamed

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 585 KB

english, 2016

21

[IEEE 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS) - Dubai (2017.12.18-2017.12.20)] 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS) - UML/OCL or Object-Z?

Bettaz, Mohamed, Maouche, Mourad

Year:

2017

Language:

english

File:

PDF, 328 KB

english, 2017

22

[IEEE 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Noida, India (2017.9.20-2017.9.22)] 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Intentional modeling with institution theory

Bettaz, Mohamed, Maouche, Mourad

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

23

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations

Messaoudi, Nabil, Chaoui, Allaoua, Bettaz, Mohamed

Journal:

International Journal of Computational Vision and Robotics

Year:

2019

Language:

english

File:

PDF, 2.09 MB

english, 2019

24

[IEEE 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Noida, India (2018.8.29-2018.8.31)] 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Using UML-MARTE and TCOZ for AAL System Specifications: A Case Study

Bettaz, Mohamed, Maouche, Mourad

Year:

2018

Language:

english

File:

PDF, 248 KB

english, 2018

25

DFT computations and molecular dynamics investigations on conformers of some pyrazinamide derivatives as corrosion inhibitors for aluminum

Ammouchi, Nesrine, Allal, Hamza, Belhocine, Youghourta, Bettaz, Sarah, Zouaoui, Emna

Journal:

Journal of Molecular Liquids

Year:

2019

File:

PDF, 1.93 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски